- 双语例句 更多例句
建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。
互联网摘选
This is also shown by the vagueness of KaKbp → Kap in possible world semantics.
可传递性公式KaKbp→Kap在可能世界语义学上的模糊性,也表明了这一点。
互联网摘选
Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics
情境语义学对外延模型论和可能世界语义学的批判
互联网摘选
研究主体思维状态逻辑框架KARO中的多动作承诺机制,并对其进行语义解释。
互联网摘选
然而,尽管可能世界语义学能让我们更直观地理解模态逻辑表达式,但是依然衍生出许多问题。
互联网摘选
因此,给出关于范畴位置移动的结构公设,构成特定的范畴类型逻辑系统,即多样模态逻辑,并给该系统的可能世界语义学的可通达关系确立相应的限制条件。
互联网摘选
巴威斯等对外延模型论语义学和可能世界语义学的批判,揭示了既有逻辑语义研究的不足,促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。
互联网摘选
- 相关词组
- as quickly as possibleadv.尽快地;
- die to the world隐居,不问人间事;
- Brave New World美好的新世界(指社会大变动后出现的使人满怀希望的新时期,常含有讽刺意味);
- as early as possibleadv.尽快地;趁早;早早儿;
- business world工商界;
- World Consumer Right Dayn.世界消费者权益日,每年的3月15日;
- as...as possible尽可能;
- as possible尽可能
- all over the worldadv.全世界;举世;五洲四海;普天之下;
- for all the worldadv.无论如何;
- as much as possible尽可能;
- become famous all over the world在世界各地成名
- Disney worldn.迪斯尼世界;
- first world warn.第一次世界大战;
- as soon as possible尽早,尽快;从速;及早;
- bbc world news英国广播公司世界新闻;英国广播公司世界新闻频道;世界新闻电视频道;环宇新闻
- around the world世界各地;全世界;
- dead to the world沉睡的,不省人事的;对世事不闻不问;
- a man of the worldn.通世故的人;
- come down in the worldv.落魄;沦落;
- 今日热词
- 热门搜索
- WPS n.焊接工艺规程 Welding procedure specification;Word Processing System;文字处理系统;中文字处理系统;由金山软件公司开发;安全设置(WiFi Protected Setup);焊接工艺规程(welding procedure specification);焊接工艺指导书
- ample adj.足够的;充足的,丰富的;宽敞的,广大的;富裕的;
- The Outlaws 亡命之徒
- kiss the rain 雨的印记;雨中印记;轻音乐;好听的钢琴曲
- twelve num.十二;十二个;十二点钟;十二岁;n.十二;十二个;
- subjective adj.主观的;个人的;内省的;
- discontent n.不满,不平;不愉快;不满的人;
- separately adv.分别地,另行;分开,单独;分离地;个别地;
- restrict vt.限制,限定;约束,束缚;
- humble adj.谦逊的;简陋的;(级别或地位)低下的;不大的;vt.使谦恭;轻松打败(尤指强大的对手);低声下气;
- away adv.离开,远离;在远处;消失;adj.不在的;遥远的;客场比赛;
- fail v.失败;没有做;出故障;倒闭;衰弱;不够;不及格;评定不及格n.考试不及格;
